@inproceedings{veanes-popl12,
  title        = "Symbolic Finite State Transducers: Algorithms and Applications",
  author       = "Margus Veanes and Pieter Hooimeijer and Benjamin Livshits and David Molnar and Nikolaj Bjorner",
  year         = "2012",
  month        = jan,
  booktitle    = {Proceedings of the Symposium on Principles of Programming Languages (POPL)}
}